integral arcsine squared